Add a forgotten break in render_border

The GTK_BORDER_STYLE_DOUBLE case was clearly not meant to
fall through to the subsequent cases, yet it did.
Found by Coverity.

diff --git a/gtk/gtkthemingengine.c b/gtk/gtkthemingengine.c
index 4a803cd2d826717cf2ffbcd699e5cb97412f1e7e..2d9152c6a9ff54aa5024e07111a3898eaaaf62fb 100644 (file)
--- a/gtk/gtkthemingengine.c
+++ b/gtk/gtkthemingengine.c
@@ -1656,6 +1656,7 @@ render_border (cairo_t       *cr,
                                      2 * other_border[GTK_CSS_LEFT]);
             render_frame_fill (cr, &other_box, other_border, colors, dont_draw);
           }
+          break;
         case GTK_BORDER_STYLE_GROOVE:
         case GTK_BORDER_STYLE_RIDGE:
           {